https://dasbestelexikon.de/fr/wiki/Programmation_par_contraintes